positive chain complex

正链复形